#ifndef KERNEL_HAL_ITASKCONTEXT_H
#define KERNEL_HAL_ITASKCONTEXT_H

#include <Mint/Types.h>

class ITaskContext
{
};

#endif // KERNEL_HAL_ITASKCONTEXT_H
